Mathematical problem - PDFSEARCH.IO - Document Search Engine

Mathematical problem
Results: 2693

#	Item
341	Journal of Machine Learning Research–1484 Submitted 11/04; Published 9/05 Large Margin Methods for Structured and Interdependent Output Variables Add to Reading List Source URL: www.jmlr.org Language: English - Date: 2005-09-06 21:17:02 Mathematical optimization Mathematical analysis Analysis Mathematics Duality Support vector machine Slack variable Optimization problem Lagrange multiplier Perceptron Convex analysis Structured support vector machine
342	check_list_letter_v08 [Converted].ai Add to Reading List Source URL: www.dubberly.com Language: English - Date: 2016-02-04 18:39:32 Statistics Neuropsychology Artificial intelligence Educational psychology Neuropsychological assessment Problem solving Statistical theory Computational complexity theory Statistical hypothesis testing Mathematical optimization
343	The Size Estimate Problem in a Discontinuous Background (Day 1 - Talk 3) Jenn-Nan Wang* Institute of Applied Mathematical Sciences, National Taiwan University, Taiwan Email of Presenting Author: Add to Reading List Source URL: ias.ust.hk - Date: 2015-09-21 00:19:52*
344	Real Time Recovery in Berth Allocation Problem in Bulk Ports Nitish Umang Michel Bierlaire STRC 2012 Add to Reading List Source URL: www.strc.ch Language: English - Date: 2012-05-16 12:57:38 Operations research NP-complete problems Berth allocation problem Berth Optimization problem Mathematical optimization Ship Mathematics Systems science Applied mathematics
345	Pooh’s EnclyclopediaRating: fun Think about how search engines work while helping Whinnie the Pooh and his friends solve their problems. Problem: Add to Reading List Source URL: nacloweb.org Language: English - Date: 2014-09-03 17:45:41 Mathematics education Mathematical problem
346	Microsoft Word - Role of CAS in Mathematical Problem Solving Add to Reading List Source URL: www.activemath.org Language: English - Date: 2009-07-02 19:00:17
347	Microsoft Word - STRC Vitins Axhausen 2010.doc Add to Reading List Source URL: www.strc.ch Language: English - Date: 2010-08-28 08:18:41 Cybernetics Machine learning Network theory Networks Mathematics Applied mathematics Artificial intelligence Genetic algorithm Dependency grammar Shortest path problem Mathematical optimization Swarm intelligence
348	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Automated theorem proving Mathematics Formal methods Logic in computer science Constraint programming Electronic design automation Conflict-Driven Clause Learning DPLL algorithm Boolean satisfiability problem Satisfiability modulo theories
349	The Ackermann Award 2015 Anuj Dawar, Dexter Kozen, and Simona Ronchi Della Rocca Members of the Jury of the EACSL Ackermann Award Abstract The eleventh Ackermann Award is presented at CSL’15 in Berlin, Germany. This ye Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2015-09-07 05:28:01 Computability theory Theory of computation Mathematical logic EACSL Entscheidungsproblem Complexity Computational complexity theory Algorithm Decision problem Dexter Kozen
350	SEAProgram Monday, June 29th 8:00 8:50 9:00 Add to Reading List Source URL: sea2015.lip6.fr Language: English - Date: 2015-06-14 11:10:18 NP-complete problems Computational complexity theory Steiner tree problem Combinatorial optimization Shortest path problem Mathematical optimization Independent set Combinatorics Graph theory Book:Graph Theory

UPDATE